Compositional Specification of Controllers for Batch Process Operations
نویسندگان
چکیده
This paper describes a combination of techniques from control engineering and formal methods in order to specify and implement control systems for hatch process operations. It extends previous work by providing a non-trivial specification for the top-level polling loop of a control system, and defining composition techniques for controllers. Batch process operations are common in industrial practice. Automated manufacturing systems and chemical processing are two examples. Common features of these operations enable us to provide a generic method for the formalisation of controllers for a large class of such systems, using B and procedural controller synthesis. We give examples from case studies to illustrate the techniques.
منابع مشابه
Comparison of Conventional and Model، Based Controllers for Controlling a Batch Polymerization Reactor
متن کامل
Comparison of Conventional and Model، Based Controllers for Controlling a Batch Polymerization Reactor
متن کامل
Residuals based process capability indices for two-stage processes
The manufacturing operations often involve multistage processes where the process capability of each stage is affected by the process capability of its precedent processes. This property is known as the cascade property. The purpose of this paper is to estimate the process capability of the second stage of two-stage process while the cascade property impact is removed using residuals analysis. ...
متن کاملTechnical Report 2009 - 001 Unrestricted and Disjoint Operations over Multi - Stack Visibly
Visibly Pushdown Languages (VPL) have been proposed as a formalism useful for specifying and verifying complex, recursive systems such as application software. However, VPL turn out to be unsuitable for the compositional specification of concurrent software, as they are not closed under shuffle. Multi-stack Visibly Pushdown Languages (MVPL) express naturally concurrent constructions. We find ho...
متن کاملPerformance Assessment Measures of Batch Processes for Iterative Learning Control
A new method is proposed for the assessment of the batch control system when the iterative learning control is applied. Unlike the continuous process, the performance assessment of the batch process requires particular attention to both disturbance changes and setpoint changes. Because of the intrinsically dynamic operations and the nonlinear behavior of batch processes, the conventional approa...
متن کامل